An Architecture for Software Fault Tolerance with a Function and Attribute-based Model FTAG
نویسندگان
چکیده
Abstract:Software that allows software or operational faults to be tolerated are typically written using an imperative computational model. Here, an alternative is described in which such programs are written using a functional and attribute based model called FTAG (Fault-Tolerant Attribute Grammars). Some example to illustrate these techniques and a software architecture for implementing FTAG on a computer system containing multiple processors are discussed.
منابع مشابه
FTAG: A Functional and Attribute Based Model for Writing Fault-Tolerant Software
Programs constructed using techniques that allow software or operational faults to be tolerated are typically written using an imperative computational model. Here, an alternative is described in which such programs are written using a functional and attribute based model called FTAG (Fault-Tolerant Attribute Grammars). The basic model is introduced first, followed by a description of mechanism...
متن کاملA Formal Description of FTAG for Multi-Processor Systems
FTAG is a functional model for writing fault-tolerant software that is based on attribute grammars. With this approach, a program is written as a series of module decompositions,with provisions for redoing and replicatingmodules used to implement fault-tolerance requirements. The functional nature of the model and the independence of decompositions makes FTAG especially well-suited for implemen...
متن کاملA Fault-Tolerant Architecture For Replication In FTAG
Multiprocessor systems make it possible to reduce program execution time by using parallel processing. We present an architecture that implements triple modular redundancy (TMR) in FTAG (Fault Tolerant Attribute Grammar): a functional and attribute based model[2]. A replication scheme is developed for this architecture where three instances of a replicated job called replica are active at di er...
متن کاملA Replication Architecture for FTAG
In this paper we present a replication architecture based on the FTAG computation model. FTAG is a functional and attribute based language for programming fault-tolerant parallel applications [4]. In the replication technique developed an application is replicated on di erent group of processors. Each group is called a replica. All replicas are active [3] and compute concurrently a di erent pie...
متن کاملImplementing Fault Tolerance with an Attribute and Functional Based Model
Programs constructed using techniques that allow software or operational faults to be tolerated are typically written using an imperative computational model. Here, an alternative is described in which such programs are written using an attribute and functional based model called FTAG. The basic model is introduced first, followed by a description of mechanisms that allow a variety of standard ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007